Improved bounds on the randomized and quantum complexity of initial-value problems

We study the problem, initiated in [8], of finding randomized and quantum complexity of initial-value problems. We showed in [8] that a speed-up in both settings over the worst-case deterministic complexity is possible. In the present paper we prove, by defining new algorithms, that further improvement in upper bounds on the randomized and quantum complexity can be achieved. In the Hölder class of right-hand side functions with r continuous bounded partial derivatives, with r-th derivative being a Hölder function with exponent ρ, the ε-complexity is shown to be O ( (1/ε) ) in the randomized setting, and O ( (1/ε) ) on a quantum computer (up to logarithmic factors). This is an improvement for the general problem over the results from [8]. The gap still remaining between upper and lower bounds on the complexity is further discussed for a special problem. We consider scalar autonomous problems, with the aim of computing the solution at the end point of the interval of integration. For this problem, we fill up the gap by establishing (essentially) matching upper and lower complexity bounds. We show that the complexity in this case is Θ ( (1/ε) ) in the randomized setting, and Θ ( (1/ε) ) in the quantum setting (again up to logarithmic factors). Hence, this problem is essentially as hard as the integration problem. 1 This research was partly supported by AGH grant No. 10.420.03 Department of Applied Mathematics, AGH University of Science and Technology, Al. Mickiewicza 30, paw. A3/A4, III p., pok. 301, 30-059 Cracow, Poland [email protected], tel. +48(12)617 3996, fax +48(12)617 3165